and Research

Results: 260368



#Item
151Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
152Knowledge representation / Computing / Information science / Technical communication / Information / Semantic Web / Knowledge engineering / Ontology / Resource Description Framework / Upper ontology / Open data / SPARQL

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Add to Reading List

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

Language: English - Date: 2014-11-03 11:28:51
153Cryptography / Computational complexity theory / Zero-knowledge proof / Zero knowledge / Interactive proof system / IP / NP / Cryptographic protocol / Proof of knowledge / Oblivious transfer

Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa

Add to Reading List

Source URL: kodu.ut.ee

Language: English - Date: 2008-09-12 11:33:08
154Formal languages / Tree / Heap / Binary tree / Context-free grammar / Computing / Software engineering / Mathematics / Regular tree grammar

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Add to Reading List

Source URL: www.microsoft.com

Language: English - Date: 2018-01-04 03:04:14
155Artificial neural networks / Computational neuroscience / Applied mathematics / Computing / Artificial intelligence / Cognitive science / Computational statistics / Market research / Convolutional neural network / Deep learning / Recurrent neural network / Domain-specific language

AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Language: English - Date: 2018-06-25 09:59:57
156Internet in Egypt / Internet censorship / Deep packet inspection / Telecom Egypt / Ministry of Communications and Information Technology / Economy of Africa / Information and communications technology / Economy of Egypt / Internet censorship and surveillance by country / Internet censorship in Tunisia

The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE)

Add to Reading List

Source URL: ooni.torproject.org

Language: English - Date: 2018-10-19 07:05:34
157Analysis of algorithms / Machine learning / Statistics / Computational complexity theory / Computer science / Probability and statistics / Multi-armed bandit / Stochastic optimization / Time complexity / Divergence / Asymptotically optimal algorithm / KullbackLeibler divergence

UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits

Add to Reading List

Source URL: www.research.att.com

Language: English - Date: 2018-10-03 19:00:09
158Economy / Financial services / Finance / Financial law / Banking / Economics / Systemic risk / Concentration risk / Bank / Credit risk / Asset and liability management / Financial crisis of 20072008

HONG KONG INSTITUTE FOR MONETARY RESEARCH IMPLICATIONS OF LOAN PORTFOLIO CONCENTRATION FOR BANKS’ CREDIT RISK AND RETURN: EVIDENCE FROM HONG KONG

Add to Reading List

Source URL: www.hkimr.org

Language: English - Date: 2018-10-12 04:21:56
159Computing / Information science / Data management / Semantic Web / Knowledge representation / Query languages / Technical communication / SPARQL / Resource Description Framework / Linked data / RDF query language / Ontology

Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient

Add to Reading List

Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com

Language: English - Date: 2015-11-27 10:43:10
160Design of experiments / Statistics / Probability and statistics / Markov models / Statistical theory / Psychometrics / Statistical hypothesis testing / Graph theory / Markov chain / Bayesian inference / Matrix / Data transformation

DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 00:45:19
UPDATE